Write-Docs names a function, with lambda list NIL:
Write out the documentation in TeΧinfo format.
XXX this is a huge function that ought to be broken up more
Defined in file src/write-docs-2.lisp.